for a being Ordinal ex b being Ordinal st
( a in b & b is epsilon )