Vztahy implikují existenci relačních aut a relačních rovin
327