数学用語で集合の各元が満たすべき規則のこと