if alpha is a set of attributes and

if alpha is a set of attributes and beta is_suset_of alpha, than alpha hold beta.

ผลลัพธ์ (ไทย) 1:

ถ้าอัลฟาคือ ชุดของแอตทริบิวต์และอัลฟาเบต้า is_suset_of กว่าอัลฟาถือเบต้า

ผลลัพธ์ (ไทย) 2:

ถ้าอัลฟาเป็นชุดของคุณลักษณะและเบต้าอัลฟา is_suset_of กว่าอัลฟาเบต้าถือ

ผลลัพธ์ (ไทย) 3:

ถ้าเราเป็นชุดของแอตทริบิวต์ และเบต้า is_suset_of อัลฟา , อัลฟาถือกว่า เบต้า