interval equals
If a proper interval T1 is intervalEquals another proper interval T2, then the beginning of T1 is coincident with the beginning of T2, and the end of T1 is coincident with the end of T2.
propertyDisjointWith
interval equals
If a proper interval T1 is intervalEquals another proper interval T2, then the beginning of T1 is coincident with the beginning of T2, and the end of T1 is coincident with the end of T2.
type
comment
If a proper interval T1 is int ...... coincident with the end of T2.
@en
Si un intervalo propio T1 es i ...... 1 coincide con el final de T2.
@es
domain
label
interval equals
@en
intervalo igual
@es
range
propertyDisjointWith
definition
If a proper interval T1 is int ...... coincident with the end of T2.
@en
Si un intervalo propio T1 es i ...... 1 coincide con el final de T2.
@es