Связь между записями первого и второго уровня

При задании пустого множества "[свойство1,свойство2]=0" такая запись равнозначна записи "[свойство1]=0 И [свойство2]=0", т. е. задается условие, что не существует ни объектов, обладающих свойством "свойство1", ни объектов, обладающих свойством "свойство2".

При задании множества размера М "[свойство1,свойство2]=М" такая запись равнозначна записи "[свойство1]=М ИЛИ [свойство2]=М", т. е. задается условие, что объектов, обладающих свойством "свойство1" или обладающих свойством "свойство2", неограниченное количество.